Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction
نویسندگان
چکیده
In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. The advantages of this reconstruction are important: the resulting logics have a proper proof theory (that leads to justified conclusions even for undecidable fragments), they nicely integrate deductive and abductive steps, and they are much closer to natural reasoning than the existing systems. We present two new adaptive logics for abduction, and illustrate both with some examples from the history of the sciences (the discovery of Uranus and of Neptune). We also present some alternatives systems that are better suited for non-creative forms of abductive reasoning.
منابع مشابه
Empirical Progress and Ampliative Adaptive Logics∗
In this paper, I present two ampliative adaptive logics: LA and LA. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LA is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LA is to capture the ...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملA formal explication of the search for explanations: the adaptive logics approach to abductive reasoning
Most logic–based approaches characterize abduction as a kind of backwards deduction plus additional conditions, which means that a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound (one of those conditions may for example be that abductive consequences have to be compatible with the background theory). Despite the fact that thes...
متن کاملA . 2 Philosophical and Applied Logics An Adaptive Logic for Abduction Hans Lycke
As AC is not deductively valid, most logic–based approaches characterize abduction as a kind of backwards deduction with additional conditions. As such, a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound (one of those conditions may for example be that an abduced formula should be compatible with the background theory). But, al...
متن کامل